Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319054155, 9783319054162
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TTM/PAT: Specifying and Verifying Timed Transition Models

2014 ◽  
pp. 107-124 ◽  
Author(s):  
Jonathan S. Ostroff ◽  
Chen-Wei Wang ◽  
Simon Hudon ◽  
Yang Liu ◽  
Jun Sun
Keyword(s):  
Transition Models

Counterexample Generation for Hybrid Automata

2014 ◽  
pp. 88-106 ◽  
Author(s):  
Johanna Nellen ◽  
Erika Ábrahám ◽  
Xin Chen ◽  
Pieter Collins
Keyword(s):  
Hybrid Automata

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude

2014 ◽  
pp. 178-194 ◽  
Author(s):  
Zeynab Sabahi-Kaviani ◽  
Ramtin Khosravi ◽  
Marjan Sirjani ◽  
Peter Csaba Ölveczky ◽  
Ehsan Khamespanah
Keyword(s):  
Real Time ◽  
Formal Semantics

scholarly journals With an Open Mind: How to Write Good Models

2014 ◽  
pp. 3-18 ◽  
Author(s):  
Cyrille Artho ◽  
Koji Hayamizu ◽  
Rudolf Ramler ◽  
Yoriyuki Yamagata
Keyword(s):  
Open Mind

scholarly journals Certainly Unsupervisable States

2014 ◽  
pp. 280-296 ◽  
Author(s):  
Simon Ware ◽  
Robi Malik ◽  
Sahar Mohajerani ◽  
Martin Fabian
Load More ...
Sign in / Sign up

Export Citation Format

Share Document