CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems
Author
Beckert Bernhard
Birgit Vogel-Heuser
+6Â more
Cha Suhyun
Kirsten Michael
Ulbrich Mattias
Ulewicz Sebastian
Weigl Alexander
Wiebe Franziska
Publication venue
Institute of Electrical and Electronics Engineers
Publication date
01/01/2017
Field of study
Get PDF
KITopen
A study on user-friendly formal specification languages for requirements formalization
Author
Buzhinsky Igor
Pakonen Antti
Pang Cheng
Vyatkin Valeriy
Publication venue
IEEE Institute of Electrical and Electronic Engineers
Publication date
01/01/2016
Field of study
Get PDF
Crossref
VTT Research System