Modelling of Complex Software Systems: a Reasoned Overview

Cached

Download Links

by D. Krob
Citations:5 - 2 self

Active Bibliography

4 Towards a functional formalism for modelling complex industrial systems – S. Bliudze, D. Krob - 2006
Contents – Simon Bliudze Verimag, Centre Équation, Daniel Krob C
Model Based Refinement and the Design of . . . – Richard Banach
115 Hierarchical Finite State Machines with Multiple Concurrency Models – Alain Girault, Bilung Lee, Edward A. Lee - 1999
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
55 Hierarchical Modeling and Analysis of Embedded Systems – Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky - 2003
3 Optimisation of dynamic, hybrid signal function networks – Neil Sculthorpe, Henrik Nilsson - 2008
10 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
10 Formal verification of hybrid systems – Rajeev Alur - 2011
1 Theory for Software Verification – David A. Naumann - 2009
28 An open extensible tool environment for Event-B – Jean-raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin - 2006
INVITED PAPER Quo Vadis, SLD? Reasoning About the – Challenges Of
Project-Team Pop Art Programming languages, Operating systems, Parallelism, and Aspects for Real-Time Grenoble- Rhône-Alpes Theme: Embedded and Real Time Systems – Overall Objectives
Project-Team Pop Art Programming languages, Operating systems, Parallelism, and Aspects for Real-Time Grenoble- Rhône-Alpes – Theme Com
92 The synchronous languages twelve years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - 2003
Under consideration for publication in Formal Aspects of Computing The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 1 – Richard Banach, Marco Bozzano
9 On the Logic of TLA+ – Stephan Merz - 2003
CoreASM; An . . . for High-level Design and Analysis of Distributed Systems – Roozbeh Farahbod - 2009