scientific article; zbMATH DE number 1790353

zbMATH Open1004.68055MaRDI QIDQ4549385FDOQ4549385

Authors: Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antonio L. Furtado 

Publication date: 28 August 2002

Title of this publication is not available (Why is that?)

Recommendations

• A formal verification technique for behavioural model-to-model transformations
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1314230
• scientific article; zbMATH DE number 2087282
• Behavioural models for FMI co-simulations

zbMATH Keywords

constraint programminginformation systemsProlog

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (6)

• Title not available (Why is that?)
• How novices formulate models. Part II: a quantitative description of behaviour
• Concept-Oriented Modeling of Dynamic Behavior
• Title not available (Why is that?)
• Role and contribution of formal models to governing: a heuristic
• Title not available (Why is that?)

Uses Software

• SICStus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4549385)