Obiekt
Tytuł: The use of model checking and the COSMA environment in the design of reactive systems
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identyfikator zasobu:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
24 mar 2015
Data dodania obiektu:
24 mar 2015
Liczba wyświetleń treści obiektu:
15
Liczba wyświetleń treści obiektu w formacie DjVu
14
Wszystkie dostępne wersje tego obiektu:
https://dlibra.umcs.lublin.pl/publication/20416
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
- Towards wireless sensor networks with enhanced vision capabilities
- Mathematical foundations of the infinity computer
- Experiences of software engineering training
- Incremental document map formation: multi-stage approach
- Instance reduction approach to machine learning and multi-database mining
- Specification of dependency areas in UML designs
- Model of mapping activities and competence in ICT projects
- Ontology-based stereotyping in a travel support system
- Analysing system susceptibility to faults with simulation tools
- Grouping and joining transformations in the data extraction process
- Comparison of two approaches to processing long aggregates lists in spatial data warehouses
- The use of self-organising maps to investigate heat demand profiles
- Models and methods for biometric motion identification
- On asymptotic behaviour of a binary genetic algorithm
- Comparative analysis of reporting mechanisms based on XML technology
- Visualization as a method for relationship discovery in data
- Discovery of association rules from medical data –classical and evolutionary approaches
- Mining of an electrocardiogram
- Rule extraction from a neural network by hierarchical multiobjective genetic algorithm
- The use of model checking and the COSMA environment in the design of reactive systems
- Behavioral an real-time verification of a pipeline in the COSMA environment
- Automated travel planning
- KTDA: emerging patterns based data analysis system
- Polymorphism – prose of Java programmers
- Multimedia in management facing globalization processes and cognitivistics
- Deterministic method of data sequence processing
- Context-aware security and secure context-awareness in ubiquitous computing environments
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
| Nazwa wydania | Data |
|---|---|
| Mieścicki, Jerzy - The use of model checking and the COSMA environment in the design of reactive systems | 24 mar 2015 |
