On Hoare Triples Applicability to Dependable System Specification Synthesis

2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT) ◽

10.1109/dessert50317.2020.9125074 ◽

2020 ◽

Author(s):

Vadym Shkarupylo ◽

Alexander Chemeris ◽

Valentyna Dusheba ◽

Ravil Kudermetov ◽

Andrii Oliinyk

Keyword(s):

System Specification ◽

Specification Synthesis

Download Full-text

Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems

2013 International Conference on Field-Programmable Technology (FPT) ◽

10.1109/fpt.2013.6718337 ◽

2013 ◽

Author(s):

Tim Plier ◽

David Schwartz ◽

Roman Lysecky ◽

Chungman Seo ◽

Bernard P. Zeigler

Keyword(s):

Embedded Systems ◽

Low Power ◽

Discrete Event ◽

Discrete Event System ◽

System Specification ◽

Discrete Event System Specification ◽

Event System ◽

Specification Synthesis

Download Full-text

Road transport and traffic telematics. Automatic vehicle and equipment identification. System specification

10.3403/01744891 ◽

2000 ◽

Keyword(s):

Road Transport ◽

Identification System ◽

System Specification

Download Full-text

Electronic system specification languages. VHDL modelling guidelines

10.3403/02524570 ◽

2002 ◽

Keyword(s):

Electronic System ◽

Specification Languages ◽

System Specification

Download Full-text

Digital audio broadcasting system. Specification of the receiver data interface (RDI)

10.3403/02658935 ◽

1998 ◽

Keyword(s):

Digital Audio ◽

System Specification ◽

Digital Audio Broadcasting ◽

Broadcasting System

Download Full-text

Shopfitting. Management system specification

10.3403/30151098 ◽

2006 ◽

Keyword(s):

Management System ◽

System Specification

Download Full-text

Safe Working of Vehicle Breakdown, Recovery and Removal Operations. Management System Specification

10.3403/30165343 ◽

2008 ◽

Keyword(s):

Operations Management ◽

Management System ◽

System Specification ◽

Safe Working

Download Full-text

Fire risk management system. Specification

10.3403/30252026u ◽

2015 ◽

Keyword(s):

Risk Management ◽

Management System ◽

Fire Risk ◽

System Specification ◽

Risk Management System

Download Full-text

Safe working of vehicle breakdown, recovery and removal operations. Management system specification

10.3403/30314205 ◽

2015 ◽

Keyword(s):

Operations Management ◽

Management System ◽

System Specification ◽

Safe Working

Download Full-text

Real-Time System: Specification and Verification

10.21236/ada206467 ◽

1989 ◽

Author(s):

K. T. Narayana

Keyword(s):

Real Time ◽

System Specification ◽

Time System ◽

Real Time System ◽

Specification And Verification

Download Full-text

A Dialogue System Specification for Explanation

SSRN Electronic Journal ◽

10.2139/ssrn.2034937 ◽

2011 ◽

Author(s):

Douglas Walton

Keyword(s):

System Specification ◽

Dialogue System

Download Full-text