Searching for authors named "John Fitzgerald" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
M.: Validation Support for Distributed RealTime Embedded Systems in VDM
- …Validation Support for Distributed Real-Time Embedded Systems in VDM++ John S. Fitzgerald…
- Cited by 2 (2 self) – Add To MetaCart
-
EU enlargement and migration: Assessing the macroeconomic impacts
- …EU enlargement and migration: Assessing the macroeconomic impacts Ray Barrell * , John FitzGerald…
- Add To MetaCart
-
Time-Based Detection Strategies
- …. ing. Tudor Gîrba Dr. ing. Radu Marinescu We must use time as a tool, not as a crutch. John Fitzgerald…
- Add To MetaCart
-
Formal Specification of an Aerospace System: The Attitude Monitor
- …, John Fitzgerald, John McDermid, Lynn Spencer, Amer Saeed January 23, Chapter 1 Formal Specification…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Specification Techniques in the Commercial Development Process
- …Formal specification techniques in the commercial development process J S Fitzgerald + P G…
- Cited by 4 (3 self) – Add To MetaCart
-
Formal modelling of dynamic coalitions, with an application in chemical engineering
- …. Bryans ∗ , John S. Fitzgerald ∗ , Cliff B. Jones ∗ , Igor Mozolevsky ∗ ∗ School of Computing Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Lessons Learned from Applying Formal Specification in Industry
- … for Applied Computer Science (IFAD) Forskerparken 10 5250 Odense M, Denmark, John Fitzgerald Centre…
- Cited by 6 (1 self) – Add To MetaCart
-
Dimensions of dynamic coalitions
- … W. Bryans, John S. Fitzgerald, Cliff B. Jones and Igor Mozolevsky Abstract Developments in network…
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Specification and Analysis of Requirements in Software Development
- … made some of my reports better: I would like to mention Andrew Buttereld, John Fitzgerald, Ralf Huuck…
- Add To MetaCart
Showing 1 through 9.
