ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Formal Specification and Prototyping of a Building Description Language
Developments in Computer Aided Design and Modelling for Structural Engineering
◽
10.4203/ccp.31.2.3
◽
2009
◽
Cited By ~ 1
Author(s):
J.N. Oliveira
Keyword(s):
Formal Specification
◽
Description Language
Download Full-text
Related Documents
Cited By
References
The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor
Proceedings of ASP-DAC 95/CHDL 95/VLSI 95 with EDA Technofair ASPDAC-95
◽
10.1109/aspdac.1995.486381
◽
2002
◽
Cited By ~ 2
Author(s):
W.A. Hunt
◽
B.C. Brock
Keyword(s):
Formal Specification
◽
Hardware Description Language
◽
Description Language
◽
Formal Specification And Verification
◽
Hardware Description
◽
Specification And Verification
Download Full-text
Formal Specification and Design
10.1017/cbo9780511569777
◽
1992
◽
Cited By ~ 17
Author(s):
L. M. G. Feijs
◽
H. B. M. Jonkers
Keyword(s):
Formal Specification
Download Full-text
Editorial: The formal specification of interactive systems
Software Engineering Journal
◽
10.1049/sej.1996.0042
◽
1996
◽
Vol 11
(6)
◽
pp. 322
◽
Cited By ~ 1
Author(s):
M.D. Harrison
Keyword(s):
Formal Specification
◽
Interactive Systems
Download Full-text
Information technology. Programming languages. SQL/Ada Module Description Language (SAMeDL)
10.3403/00539178u
◽
2015
◽
Keyword(s):
Information Technology
◽
Programming Languages
◽
Description Language
Download Full-text
Space data and information transfer systems. Data description language. EAST specification
10.3403/02080951u
◽
2015
◽
Keyword(s):
Information Transfer
◽
Description Language
◽
Data Description
◽
Space Data
Download Full-text
Space data and information transfer systems. Data description language. EAST specification
10.3403/02080951
◽
2000
◽
Keyword(s):
Information Transfer
◽
Description Language
◽
Data Description
◽
Space Data
Download Full-text
Information technology. Z formal specification notation. Syntax, type system and semantics
10.3403/02620581
◽
2002
◽
Keyword(s):
Information Technology
◽
Formal Specification
◽
Type System
Download Full-text
Space data and information transfer systems. Data description language. EAST specification
10.3403/02826006
◽
2003
◽
Keyword(s):
Information Transfer
◽
Description Language
◽
Data Description
◽
Space Data
Download Full-text
Function blocks (FB) for process control. Electronic device description language (EDDL)
10.3403/30253989u
◽
2015
◽
Keyword(s):
Process Control
◽
Electronic Device
◽
Description Language
◽
Function Blocks
Download Full-text
Function blocks (FB) for process control. Electronic device description language (EDDL)
10.3403/30253989
◽
2012
◽
Keyword(s):
Process Control
◽
Electronic Device
◽
Description Language
◽
Function Blocks
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close