1![A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi](https://www.pdfsearch.io/img/7ec94efa5910837c77b5fa28a491f8e1.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:31
|
---|
2![Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA](https://www.pdfsearch.io/img/43c7f3ff7bd788d5829bc244c60deb3c.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:10
|
---|
3![R The OpenGL
Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)
R The OpenGL
Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)](https://www.pdfsearch.io/img/3e80d41aca7a26c3d100b7c6ed33c48d.jpg) | Add to Reading ListSource URL: www.khronos.orgLanguage: English - Date: 2018-05-14 04:23:13
|
---|
4![Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa](https://www.pdfsearch.io/img/d0ef70379824275bb0f69541234c2db7.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-15 09:37:52
|
---|
5![A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti](https://www.pdfsearch.io/img/0d3829aaef9692c5e7bcc4588d6c2cb2.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2014-04-07 04:56:31
|
---|
6![Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin](https://www.pdfsearch.io/img/50fcdb1f4977b3ed7024b6760b256d8d.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:29:47
|
---|
7![R The OpenGL
Graphics System: A Specification (Version 4.6 (Compatibility Profile) - May 14, 2018)
R The OpenGL
Graphics System: A Specification (Version 4.6 (Compatibility Profile) - May 14, 2018)](https://www.pdfsearch.io/img/af4d62d27528ae446563ba96601c1d66.jpg) | Add to Reading ListSource URL: www.khronos.orgLanguage: English - Date: 2018-05-14 04:23:12
|
---|
8![A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304](https://www.pdfsearch.io/img/4ee5985c121b695d8c5657bd0082c653.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:00
|
---|
9![R The OpenGL
Graphics System: A Specification (Version 4.5 (Core Profile) - June 29, 2017)
R The OpenGL
Graphics System: A Specification (Version 4.5 (Core Profile) - June 29, 2017)](https://www.pdfsearch.io/img/52eb645f173db633886ea2d6168b2886.jpg) | Add to Reading ListSource URL: www.khronos.orgLanguage: English - Date: 2017-06-29 16:51:37
|
---|
10![Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2](https://www.pdfsearch.io/img/d1649a13d6e2ec030f0844691d6cc1a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-01-24 06:23:37
|
---|