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
117 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
56 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
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
11 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
11 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
Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Interface: A Simple Train Stopping Application – Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Transferring Causality Analysis from Synchronous Programs to Hybrid Programs – Kerstin Bauer, Klaus Schneider
3 A Timed Extension for AltaRica – Franck Cassez, Claire Pagetti, Olivier Roux - 2001