Unified Property Specification Language for Industrial Systems Analysis: LUSP

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39396-5 ◽

2000 ◽

Vol 33 (17) ◽

pp. 179-184 ◽

Author(s):

V. Chapuriat ◽

E. Lamine ◽

J. Magnier

Keyword(s):

Systems Analysis ◽

Specification Language ◽

Industrial Systems ◽

Property Specification

Download Full-text

Industrial systems analysis

Production Engineer ◽

10.1049/tpe.1967.0021 ◽

1967 ◽

Vol 46 (3) ◽

pp. 181

Author(s):

William K. Roots

Keyword(s):

Systems Analysis ◽

Industrial Systems

Download Full-text

Devise and establishment of property specification language to verify the complex behaviour of FPGA Ethernet IP core

2016 IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT) ◽

10.1109/rteict.2016.7807929 ◽

2016 ◽

Author(s):

P N Karthik ◽

K Suresh

Keyword(s):

Specification Language ◽

Ip Core ◽

Complex Behaviour ◽

Property Specification

Download Full-text

IEEE Standard for Property Specification Language (PSL)

10.1109/ieeestd.2005.97780 ◽

2005 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

A Generated Property Specification Language for Resilient Multirobot Missions

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_4 ◽

2017 ◽

pp. 45-61 ◽

Author(s):

Swaib Dragule ◽

Bart Meyers ◽

Patrizio Pelliccione

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

Learning and Practice of the Property Specification Language

IEEE Design & Test of Computers ◽

10.1109/mdt.2011.111 ◽

2011 ◽

Vol 28 (5) ◽

pp. 110-111

Author(s):

Nicolas Troquard

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

IEEE Standard for Property Specification Language (PSL)

10.1109/ieeestd.2010.5446004 ◽

2010 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

PyBioNetFit and the Biological Property Specification Language

iScience ◽

10.1016/j.isci.2019.08.045 ◽

2019 ◽

Vol 19 ◽

pp. 1012-1036 ◽

Author(s):

Eshan D. Mitra ◽

Ryan Suderman ◽

Joshua Colvin ◽

Alexander Ionkov ◽

Andrew Hu ◽

...

Keyword(s):

Biological Property ◽

Specification Language ◽

Property Specification

Download Full-text

Standard for Property Specification Language (PSL)

10.3403/30167901 ◽

2007 ◽

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

IEEE standard for property specification language (PSL)

10.3403/30257773 ◽

2012 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

BUILDING AUTOMATA – TYPE SIMULATION MODELS FOR UNDERGRADUATE TEACHING INDUSTRIAL SYSTEMS ANALYSIS

IFAC Proceedings Volumes ◽

10.3182/20060621-3-es-2905.00052 ◽

2006 ◽

Vol 39 (6) ◽

pp. 297-302

Author(s):

Vasileios Deligiannis ◽

Stamatis Manesis

Keyword(s):

Systems Analysis ◽

Simulation Models ◽

Undergraduate Teaching ◽

Industrial Systems

Download Full-text