Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. W. Bustard
An Exercise in Formalizing the Description of a Concurrent System
Software - Practice and Experience
Software
Related publications
Formalizing Geographical Models Using Specification and Description Language: The Wildfire Example
The New Zeus Run Control System: An Exercise in Modularity
A Description of the RIKKE 1 System
DAIMI Report Series
An Ontology for State Analysis: Formalizing the Mapping to SysML
A Markov Model Description of Changeover Probabilities on Concurrent Variable-Interval Schedules
Journal of the Experimental Analysis of Behavior
Behavioral Neuroscience
Experimental
Cognitive Psychology
‘D-Mash’ – A Concurrent Distributed Booking System
International Journal of Computer Applications
An Approach for Modeling and Formalizing SOA Design Patterns
An Adaptation of the PICE System as a Template for Disaster Planning: An Exercise in Facilitating Integrative Consultation
Prehospital and Disaster Medicine
Emergency Nursing
Emergency Medicine
Formalizing Service Interactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
