Concepedia
Research Repository (Delft University of Technology) · 1992 · 16 citations · 0 references
Open access
EngineeringComputer ScienceComputer SystemsFormal MethodsSystems ArchitectureSystems ModelingCommunication ModelsModel ExecutionModel FormulationModel SpecificationModel TheorySpecification LanguagesFormal Modeling