Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Cite
Citation

Linked e-resources

Details

Keynote
Generating Test Suites to Validate Legacy Systems
Distributed Applications, Metamodeling and Protocols
Deriving Distributed Design Models from Global State Machines Requirements
Generic Graphical Navigation for Modelling Tools
Protocol syntax development using domain specific modeling languages
Industry 4.0 Applications
Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context
Modeling and code generation framework for IoT
Process Enactment with Traceability Support for NFV Systems
Modeling in Environmental Social and Industrial Systems
On the Structure of Avionics Systems Architecture
Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions
Towards a representation of Cellular Automaton using Specification and Description Language
Interoperability
Goal Model Integration: Advanced Relationships and Rationales Documentation
Union Models: Support for Efficient Reasoning about Model Families over Space and Time
Facilitating the Co-Evolution of Standards and Models
Concurrency, Data Integrity
Adapting Integrity Checking Techniques for Concurrent Operation Executions
Eventual Consistency Formalized.

Browse Subjects

Show more subjects...

Statistics

from
to
Export