A Formalised Framework for Incremental Modelling of On−Chip Communication

A Formalised Framework for Incremental Modelling of On−Chip Communication

Bibliographic Details
Main Author:	Böhm, P
Format:	Conference item
Published:	2010

Similar Items

A Framework for Incremental Modelling and Verification of On−Chip Protocols
by: Böhm, P
Published: (2010)

Formalisations and Applications of BPMN
by: Wong, P, et al.
Published: (2011)

Formalisations and applications of BPMN
by: Wong, P, et al.
Published: (2011)

A formalisation of XMAS
by: Bernard van Gastel, et al.
Published: (2013-04-01)

Entailment : the formalisation of inference
by: Copeland, BJ
Published: (1978)

Formalisation of the component specification
by: Vaidas Giedrimas, et al.
Published: (2004-12-01)

Formalisations and applications of business process modelling notation
by: Wong, P
Published: (2011)

Formalisations and Applications of Business Process Modelling Notation
by: Wong, P
Published: (2008)

Abstracting and formalising the design co-evolution model
by: John S. Gero, et al.
Published: (2022-01-01)

Organisation management tasks formalisation
by: A. V. Raychenko
Published: (2022-07-01)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2008)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2015)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2015)

The attacker in ubiquitous computing environments: formalising the threat model
by: Roscoe, A, et al.
Published: (2003)

Incremental and Verified Modelling of the PCI Express Protocol
by: Böhm, P
Published: (2010)

Enabling entrepreneurial ecosystem framework as a panacea to formalisation of manufacturing MSEs in Harare, Zimbabwe.
by: Tawanda Prosper Mushayavanhu
Published: (2022-12-01)

Formalisation of the sofware component ontology specification
by: Lina Bagušytė, et al.
Published: (2005-12-01)

The formalisation and transformation of access control policies
by: Slaymaker, M, et al.
Published: (2011)

A formalisation and prototype implementation of argumentation for statistical model selection
by: Isabel Sassoon, et al.
Published: (2018-12-01)

Formalisation of partnering as a collaborative procurement method /
by: 206061 Chang, Siaw Hui, et al.
Published: (2009)

Formalisation of partnering as a collaborative procurement method
by: Chang, Siaw Hui
Published: (2009)

Formalisation of partnering as a collaborative procurement method
by: 206061 Chang, Siaw Hui

Formalised risk identification and evaluation models application in the conditions of agricultural enterprises
by: P. Římovská
Published: (2002-02-01)

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2008)

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2008)

Incremental Modelling and Verification of the PCI Express Transaction Layer
by: Böhm, P
Published: (2009)

Incremental modelling for verified communication architectures
by: Boehm, P, et al.
Published: (2011)

Formalising and Verifying Reference Attribute Grammars in Coq.
by: Schäfer, M, et al.
Published: (2009)

Formalising and Verifying Reference Attribute Grammars in Coq
by: Schäfer, M, et al.
Published: (2009)

Formalising attack trees to support economic analysis
by: Simpson, A, et al.
Published: (2022)

Formalising the pi-calculus using nominal logic
by: Jesper Bengtson, et al.
Published: (2009-06-01)

Formalising the Pathways to Life Using Assembly Spaces
by: Stuart M. Marshall, et al.
Published: (2022-06-01)

ENTREPRENEURIAL EDUCATION: A PANACEA TO FORMALISATION OF THE INFORMAL SECTOR
by: MUPARANGI Simbarashe, et al.
Published: (2022-12-01)

A top-level model of case-based argumentation for explanation: Formalisation and experiments
by: Henry Prakken, et al.
Published: (2022-06-01)

On formalising and normalising role−based access control systems
by: Power, D, et al.
Published: (2007)

On formalising and normalising role−based access control systems
by: Slaymaker, D, et al.
Published: (2009)

Attributes of formalisation risk culture and its typification in the enterprise
by: Iryna Fedulova, et al.
Published: (2022-06-01)

Formalising Autonomous Construction Sites with the Help of Abstract Mathematics
by: Dmitrii Legatiuk, et al.
Published: (2023-03-01)

Using LOTOS for FormalisingWireless Sensor Network Applications
by: Paulo Roberto Freire Cunha, et al.
Published: (2007-08-01)

Labour formalisation as selective hegemony in reform-era Myanmar
by: Campbell, Stephen
Published: (2020)