Вы здесь

Главная

система реального времени

Связанные издания:

A Categorial Observaion of Timed Testing Equivalence
A Categorical View of Timed Weak Bisimulation
Action refinement and equivalence notions for timed event structures
Ada 2012 Rationale: The Language, the Standard Libraries
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012(E)
Advanced Concepts for Intelligent Vision Systems: Proc./14th International Conference, ACIVS 2012, Brno, Czech Republic, September 2012
Advanced Distributed Systems: Revised Selected Papers/5th International School and Symposium, ISSADS 2005. Guadalajara, Mexico, January 2005
Advances in Computer Systems Architecture: Proc./12th Asia-Pacific Conference, ACSAC 2007. Seoul, Korea, August 2007
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions
Algorithms and Architectures for Parallel Processing, Part I: Proc./10th International Conference, ICA3PP 2010, Busan, Korea, May 2010
Analyzing Refinements of State Based Specifications: The Case of TB Nets
An Overview of Real-Time Issues and Ada
A Performance Study of Concurrency Control in a Real-Time Main Memory Database System
Applications and Theory of Petri Nets: Proc./30th International Conference, PETRI NETS 2009. Paris, France, June 2009
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems
A Predicate Semantics for the Refinement of Real-Time Systems
Architecture of Computing Systems - ARCS 2019: Proc./32nd International Conference, Copenhagen, Denmark, May 2019
A Rewriting Logic Sampler
A Test Generation Framework for quiescent Real-Time Systems
A Tool for Analysis of Real-Time System Specification Methods
Automata, Languages, and Programming: Part II: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Branching Time-Property Preservation Between Real-Time Systems
Categorical Modelling of trace equivalence for timed automata models with invariants
Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012
Cohesive Use of Commercial Tools in a Classroom
Combinatorial Image Analysis: Proc./13th International Workshop, IWCIA 2009, Playa del Carmen, Maxico, November 2009
Compiler Construction: 17th International Conference, CC 2008 - part of ETAPS 2008. Budapest, Hungary, March/April 2008
Computer Performance Engineering: Proc./15th European Workshop, EPEW 2018, Paris, France, October 2018
Computer Vision Systems: Proc./10th International Conference, ICVS 2015, Copenhagen, Danmark, July 2015
Cyber Physical Systems: Design, Modeling, and Evaluation: Revised Selected Papers/7th International Workshop, CyPhy 2017, Seoul, South Korea, October 2017
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018, Turin, Italy, October 2018
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019, Ney York City,NY,USA, October 2019
De l utilisation de la priorite en presence d exclusion mutuelle
Dependable Computing: Proc./Second Latin-American Symposium, LADC 2005. Salvador, Brazil, October 2005
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, Part II: Proc./10th Intl Conf. IWANN 2009 Workshops Salamanca, Spain, June 2009
Distributed Real-Time System Sprcification and Verification in APTL
Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007
Dynamic Data Driven Application Systems: Proc./3rd International Conference, DDDAS 2020, Boston,MA,USA, October 2020
Embedded and Ubiquitous Computing - EUC 2005: Proc./International Conference EUC 2005. Nagasaki, Japan, December 2005
Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2006. Seoul, Korea, August 2006
Embedded Systems Design: The ARTIST Roadmap for Research and Development
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Expressiveness of Timed Events and Timed Languages
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006