Code Examples
A repository of 155 code examples for BeepBeep
package-info.java
1 /**
2  * Examples of queries processed by the
3  * <a href="http://dx.doi.org/10.1007/978-3-319-46982-9_28">ARTiMon</a>
4  * runtime monitor. The single example in this section is taken from:
5  * <blockquote>
6  * N. Rapin. (2016). Reactive Property Monitoring of Hybrid Systems with
7  * Aggregation. <i>Proc. RV 2016</i>, Springer LNCS 10012. DOI:
8  * <tt>10.1007/978-3-319-46982-9_28</tt>
9  * </blockquote>
10  * @author Sylvain Hallé
11  */
12 package artimon;