Drupal-Biblio17<style face="normal" font="default" size="100%">Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Collision avoidance system for an autonomous sailboat</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in {FPGA} Devices</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Reconfigurable devices based experimentation supporting teaching introductory digital systems</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Wind speed and direction measurement based on time of flight ultrasonic anemometer</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Executable models for Embedded Controllers Development - {A} Cloud Based Development Framework</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Model-Based Development of an Autonomous Sailing Yacht Controller</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Cloud based development framework using {IOPT} Petri nets for embedded systems teaching</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Communication support for Petri nets based distributed controllers</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Elementary Events for Modeling of Human-System Interactions with Petri Net Models</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Output events for human-system interaction modeling</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Events for human-system interaction modeling with {IOPT} Petri nets</style>Drupal-Biblio47<style face="normal" font="default" size="100%">On Structuring Events for {IOPT} Net Models</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Asynchronous wrappers configuration within {GALS} systems specified by Petri nets</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System</style>Drupal-Biblio47<style face="normal" font="default" size="100%">SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{A MDA-based Contribution for Integrating Web Services within Embedded System's Design}</style>Drupal-Biblio10<style face="normal" font="default" size="100%">Emerging Trends in Technological Innovation, First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Properties Preservation in Distributed Execution of Petri Nets Models</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Semantic Equations for Formal Models in the Model-Driven Architecture</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{Petri net partitioning using net splitting operation}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Configurador de plataformas espec\'ıficas em Co-design de Sistemas Embutidos</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Modeling Complex Petri Nets Operations in the Model-Driven Architecture</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Checking Semantics Equivalence of MDA Transformations in Concurrent Systems</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{Petri Nets Tools and Embedded Systems Design}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{Petri net Splitting Operation within Embedded Systems Co-design}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{Petri net Splitting Operation within Embedded Systems Co-design}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{The Input-Output Place-Transition Petri Net Class and Associated Tools}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{The Input-Output Place-Transition Petri Net Class and Associated Tools}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{The Input-Output Place-Transition Petri Net Class and Associated Tools}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">{The Input-Output Place-Transition Petri Net Class and Associated Tools}</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Parti{\,c}ão de redes de Petri integrada em metodologia de co-design de sistemas embutidos</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Parti{\,c}ão de redes de Petri integrada em metodologia de co-design de sistemas embutidos</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Petri nets tools framework supporting FPGA-based controller implementations</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Petri nets tools framework supporting FPGA-based controller implementations</style>Drupal-Biblio10<style face="normal" font="default" size="100%">IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007</style>Drupal-Biblio10<style face="normal" font="default" size="100%">IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Module Composition within Petri Nets Model-based Development</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Module Composition within Petri Nets Model-based Development</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Internal event removal in Hierarchical and Concurrent State Diagrams</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Internal event removal in Hierarchical and Concurrent State Diagrams</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Petri nets as supporting formalism within Embedded Systems Co-design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Partitioning of Petri net models amenable for Distributed Execution</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Statechart based component partitioning in hardware/software co-design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Formal methods for Embedded Systems Co-design: the FORDESIGN project</style>Drupal-Biblio5<style face="normal" font="default" size="100%">Hardware-level Design Languages</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Modeling Formalisms for Embedded Systems Design</style>
Drupal-Biblio47<style face="normal" font="default" size="100%">Remote Laboratory Support for an Introductory Microprocessor Course</style>Drupal-Biblio5<style face="normal" font="default" size="100%">Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations</style>
Drupal-Biblio47<style face="normal" font="default" size="100%">Teaching Formal Methods Within System-on-a-Programmable-Chip Design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Towards Usage of Formal Methods within Embedded Systems Co-Design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Embedded Systems Introductory Course supported by remote experiments</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Implementation of a remote and virtual laboratory in the field of home appliance systems</style>Drupal-Biblio32<style face="normal" font="default" size="100%">Estadogramas em Co-Design de Sistemas Embutidos</style>Drupal-Biblio47<style face="normal" font="default" size="100%">From Use Cases to System Implementation: Statechart Based Co-design</style>Drupal-Biblio47<style face="normal" font="default" size="100%">On Lifting of Statechart Structuring Mechanisms</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Man-machine interface for real-time telecontrol based onPetri nets specification</style>