16 Commits

Author	SHA1	Message	Date
Andrew Butterfield	2c88912893	eng: Add formal verification chapter	2023-11-09 13:44:36 +01:00
Sebastian Huber	78889043eb	refs: Update EARS references	2019-07-24 10:50:18 +02:00
Sebastian Huber	d4670fee81	refs: Add ECSS standard references ... Add the ECSS standards in a separate block. Use a custom label scheme to make citations easier.	2019-07-23 09:40:43 +02:00
Sebastian Huber	e8592425b5	refs: Replace non-ASCII character	2019-07-23 09:40:03 +02:00
Sebastian Huber	a1d63745d9	common: Add references	2019-07-11 09:02:44 +02:00
Sebastian Huber	5a51c73130	c-user: Add RTEID and ORKID references	2019-06-21 07:44:50 +02:00
Sebastian Huber	b033e3960b	c-user: Add SMP application issues section	2017-02-02 10:46:05 +01:00
Sebastian Huber	7b1c63cf91	c-user: Update clustered scheduling	2017-02-02 09:43:47 +01:00
Sebastian Huber	5dcebd4f62	Fix refs.bib entries	2017-02-01 07:58:30 +01:00
Sebastian Huber	8add1793d2	c-user: Add Key concept locking protocols ... Update #2412. Update #2556.	2017-02-01 07:58:30 +01:00
Sebastian Huber	938c49e177	Fix refs.bib entry	2017-01-31 14:30:09 +01:00
Sebastian Huber	73ad65dff0	refs.bib: Add URL	2017-01-30 08:11:37 +01:00
Kuan-Hsun Chen	c660173fa4	c-user: Update overrun handling related functions and structure ... State the limited count of postponed_jobs. Update _rtems_rate_monotonic_get_status() and related structure. Move "Further Reading" in c-user to references. Add mentioned papers in ticket #2795 to references. Update #2795.	2017-01-30 07:58:27 +01:00
Sebastian Huber	0456ee759a	Fix some reference titles	2017-01-25 08:36:41 +01:00
Sebastian Huber	f5e8e8068f	Sort references	2017-01-25 08:26:39 +01:00
Sebastian Huber	97e1553c06	c-user: Add support for references via bibtex ... https://sphinxcontrib-bibtex.readthedocs.io/en/latest/index.html Update #2871.	2017-01-18 11:31:46 +01:00