Requirements Targeting Software and Systems Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540653097, 9783540494393
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Software and System Modeling Based on a Unified Formal Semantics

1998 ◽  
pp. 43-68 ◽  
Author(s):  
Manfred Broy ◽  
Franz Huber ◽  
Barbara Paech ◽  
Bernhard Rumpe ◽  
Katharina Spies
Keyword(s):  
System Modeling ◽  
Formal Semantics

Abstraction and Modular Verification of Infinite-State Reactive Systems

1998 ◽  
pp. 273-292 ◽  
Author(s):  
Zohar Manna ◽  
Michael A. Colón ◽  
Bernd Finkbeiner ◽  
Henny B. Sipma ◽  
Tomás E. Uribe
Keyword(s):  
Reactive Systems ◽  
Modular Verification ◽  
Infinite State
Load More ...
Sign in / Sign up

Export Citation Format

Share Document